Proceedings Eighth Workshop on Model-Based Testing

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Proceedings 1 st Workshop on Model - based Testing in Practice

Model-driven construction of system level tests should involve domain experts. Our Model-driven Test Case Construction (MTCC) approach employs feature models and protocol state machines to represent systems under test (SUT) as well as the actions and assertions used to execute a SUT. An editor is instantiated from models of SUTs and actions and assertions for the SUT. This editor supports the c...

متن کامل

The Proceedings of the Eighth International Research Workshop on Advances and Innovations in Software Testing

One of the challenges of creating a successful project in agile development is the identification of thesequence for developing modules within the program based on the stated requirements. The challengehere is that the difficulty of finding the best solution is a function of the number of modules to becreated plus other factors, giving rise to a NP complete problem. We will start wi...

متن کامل

Proceedings of the Eighth International Workshop on Constraint Handling Rules

The aim of this talk is to present a general framework for compiling Constraint Handling Rules (CHR) to a low level hardware description language (HDL). The benefit introduced by a CHR based hardware synthesis is twofold: it increases the abstraction level of the common synthesis work-flow and it can give significant speed up to the execution of a CHR program. I will describe a practical method...

متن کامل

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2013

ISSN: 2075-2180

DOI: 10.4204/eptcs.111.0